Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda en la clasificación temática MSC 2000: 03-01 (03B10 03B70 68-01 68Q60)
Mostrando 5 resultados encontrados.
 
03 Mathematical logic and foundations
  03-01 Instructional exposition (textbooks, tutorial papers, etc.)
  03B General logic
    03B10 Classical first-order logic
    03B70 Logic in computer science [See also 68-XX]
 
68 Computer science
  68-01 Instructional exposition (textbooks, tutorial papers, etc.)
  68Q Theory of computing
    68Q60 Specification and verification (program logics, model checking, etc.) [See also 03B70]
 

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos